Buy Used and New Alessandro Cimatti Books

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Marjan Sirjani

ISBN 13: 9783319661964

Format: Paperback (432 pages)
Publisher: Springer
Published: 16 Sep 2017

Save for later